Abstract interpretation of mobile systems

نویسنده

Jérôme Feret

چکیده

domain: numerical relations (affine and interval invariants). Publication : Feret — GETCO’00, JLAP’05 Jérôme Feret 6 Wednesday, April the 20th Thread partitioning Idea: • gather components in computation units, =⇒ thanks to the analysis of linkage between components ; • count the number of components within each computation unit, =⇒ thanks to the occurrence counting analysis. Advantage: • each session is isolated, which enables the analysis to focus to each session. Jérôme Feret 7 Wednesday, April the 20th Overview 1. Overview 2. Mobile systems 3. Non standards semantics 4. Abstract Interpretation 5. Environment analyses 6. Occurrence counting analysis 7. Thread partitioning 8. Conclusion Jérôme Feret 8 Wednesday, April the 20th

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conndentiality Analysis of Mobile Systems

We propose an abstract interpretation-based analysis for automatically detecting all potential interactions between the agents of a part of a mobile system, without much knowledge about the rest of it. We restrict our study to mobile systems written in the π-calculus, and introduce a non-standard semantics which restores the link between channels and the processes that have created them. This s...

متن کامل

Confidentiality Analysis of Mobile Systems

متن کامل

Dependency Analysis of Mobile Systems

We propose an Abstract Interpretation-based static analysis for automatically detecting the dependencies between the names linked to the agents of a mobile system. We focus our study on the mobile systems written in the π-calculus. We first refine the standard semantics in order to restore the relation between the names and the agents that have declared them. We then abstract the dependency rel...

متن کامل

Dependency Analysis of Mobile Systems ? J Er^ Ome Feret

We propose an Abstract Interpretation-based static analysis for automatically detecting the dependencies between the names linked to the agents of a mobile system. We focus our study on the mobile systems written in the-calculus. We rst reene the standard semantics in order to restore the relation between the names and the agents that have declared them. We then abstract the dependency relation...

متن کامل

Abstract Interpretation-based Static Safety for Actors

Interpretation-based Static Safety for Actors Pierre-Loïc Garoche, Marc Pantel, and Xavier Thirioux Institut de Recherche en Informatique de Toulouse, France Email: tgaroche,pantel,[email protected] Abstract—The actor model eases the definition of concurrent programs with non uniform behaviors. We present here an encoding of a higher-order actor calculus, CAP, into an abstract interpretatio...

متن کامل